19 results
Index
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 208-210
-
- Chapter
- Export citation
4 - Model Checking Quantum Automata
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 50-86
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp i-iv
-
- Chapter
- Export citation
References
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 201-207
-
- Chapter
- Export citation
2 - Basics of Model Checking
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 6-30
-
- Chapter
- Export citation
5 - Model Checking Quantum Markov Chains
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 87-137
-
- Chapter
- Export citation
3 - Basics of Quantum Theory
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 31-49
-
- Chapter
- Export citation
Contents
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp v-viii
-
- Chapter
- Export citation
Appendix 1 - Proofs of Technical Lemmas in Chapter 4
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 181-189
-
- Chapter
- Export citation
6 - Model Checking Super-Operator-Valued Markov Chains
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 138-174
-
- Chapter
- Export citation
Appendix 3 - Proofs of Technical Lemmas in Chapter 6
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 196-200
-
- Chapter
- Export citation
Preface
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp ix-x
-
- Chapter
- Export citation
7 - Conclusions and Prospects
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 175-180
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp xi-xii
-
- Chapter
- Export citation
Appendix 2 - Proofs of Technical Lemmas in Chapter 5
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 190-195
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 1-5
-
- Chapter
-
- You have access
- Export citation
Model Checking Quantum Systems
- Principles and Algorithms
-
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021
8 - Predicate Transformer Semantics of Quantum Programs
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 311-360
-
- Chapter
- Export citation
A logic for approximate reasoning
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 830-837
- Print publication:
- September 1994
-
- Article
- Export citation